General Type Error Diagnostics Using MaxSMT
نویسندگان
چکیده
Automatic type inference is a popular feature of functional programming languages. Unfortunately, if the compiler cannot infer a correct typing of a program, the produced error message does not always help the programmer to fix the error. The compiler typically reports a single program location in the error message. This location is the point where the type inference failed, but not necessarily the actual cause of the error. Other potential error causes are not even considered. Hence, the compiler often misses the true error cause and, consequently, increases debugging time for the programmer. The goal of this work is to provide high quality type error diagnostics that can help speed up the software development process.
منابع مشابه
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT
Optimization Modulo Theories (OMT) is an extension of SMT, which combines SMT with optimization, finding models that make given objectives optimal. OMT has been extended to be incremental and to handle multiple objective functions either independently or with their linear, lexicographic, Pareto, min-max/max-min combinations. OMT applications can be found not only in the domains of Formal Verifi...
متن کاملOn Optimization Modulo Theories, MaxSMT and Sorting Networks
Optimization Modulo Theories (OMT) is an extension of SMT which allows for finding models that optimize given objectives. (Partial weighted) MAXSMT –or equivalently OMT with Pseudo-Boolean objective functions, OMT+PB– is a very-relevant strict subcase of OMT. We classify existing approaches for MAXSMT or OMT+PB in two groups: MAXSAT-based approaches exploit the efficiency of state-of-the-art MA...
متن کاملDiagnosis of brain tumor using image processing and determination of its type with RVM neural networks
Typically, the diagnosis of a tumor is done through surgical sampling, which is more precise with existing methods. The difference is that this is an aggressive, time consuming and expensive way. In the statistical method, due to the complexity of the brain tissues and the similarity between the cancerous cells and the natural tissues, even a radiologist or an expert physician may also be in er...
متن کاملImplementing Software On-line Diagnostics in Safety Critical Systems
Current design and assessment methods cannot ensure that software is error free and consequently fault tolerant techniques play an important role in safety critical systems to ensure reliable software behaviour. Unfortunately general guidelines for the implementation of software diagnostics are lacking. The aim of this work is to build on the previous research in software error detection and th...
متن کاملAn efficient method for the numerical solution of Helmholtz type general two point boundary value problems in ODEs
In this article, we propose and analyze a computational method for numerical solution of general two point boundary value problems. Method is tested on problems to ensure the computational eciency. We have compared numerical results with results obtained by other method in literature. We conclude that propose method is computationally ecient and eective.
متن کامل